Simple-like independence relations in abstract elementary classes
نویسندگان
چکیده
We introduce and study simple supersimple independence relations in the context of AECs with a monster model. Theorem 0.1Let K be an AEC model.•If has relation, then does not have 2-tree property.•If relation (<?0)-witness property for singletons, tree property. 0.1 Let If The proof both facts is done by finding cardinal bounds to classes small Galois-types over fixed model that are inconsistent large subsets. think this finer way counting types interesting notion itself. characterize finiteness Lascar rank under locality assumptions on relation.
منابع مشابه
Building independence relations in abstract elementary classes
We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a forking-like notion for types of singleton elements. Theorem 0.1 (Superstability from categoricity). Let K be a (< κ)-tame AEC with amalgamation. If κ = iκ > ...
متن کاملIndependence in abstract elementary classes
We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a forking-like notion for types of singleton elements. Theorem 0.1 (Superstability from categoricity). Let K be a (< κ)-tame AEC with amalgamation. If κ = iκ > ...
متن کاملIndependence in finitary abstract elementary classes
In this paper we study a specific subclass of abstract elementary classes. We construct a notion of independence for these AEC’s and show that under simplicity the notion has all the usual properties of first order non-forking over complete types. Our approach generalizes the context of א0 -stable homogeneous classes and excellent classes. Our set of assumptions follow from disjoint amalgamatio...
متن کاملCategoricity transfer in simple finitary abstract elementary classes
We continue to study nitary abstract elementary classes, de ned in [7]. We introduce a concept of weak κ -categoricity and an f-primary model in a א0 -stable simple nitary AEC with the extension property, and gain the following theorem: Let (K,4K) be a simple nitary AEC, weakly categorical in some uncountable κ . Then (K,4K) is weakly categorical in each λ ≥ min{κ,i(2א0 )+} . We have that if th...
متن کاملQuasiminimal abstract elementary classes
We propose the notion of a quasiminimal abstract elementary class (AEC). This is an AEC satisfying four semantic conditions: countable Löwenheim-Skolem-Tarski number, existence of a prime model, closure under intersections, and uniqueness of the generic orbital type over every countable model. We exhibit a correspondence between Zilber’s quasiminimal pregeometry classes and quasiminimal AECs: a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2021
ISSN: ['0168-0072', '1873-2461']
DOI: https://doi.org/10.1016/j.apal.2021.102971